Crate rtlola_interpreter[][src]

Structs

Config combines an RTLola specification in LolaIR form with an EvalConfig.

The Monitor accepts new events and computes streams.

Represents a snapshot of the monitor containing the current value of each output stream.

The Verdicts struct represents the verdict of the API.

Enums

The general type for holding all kinds of values.

Traits

Provides the functionality to generate a snapshot of the streams values.

Type Definitions

Represents a snapshot of the monitor containing the value of all updated output stream.

Represents the index and the formated message of all violated triggers.

Represents the index and the info values of all violated triggers.